axiomatic semantics是什么意思_axiomatic semantics的意思_axiomatic semantics的翻译_axiomatic semantics怎么读_axiomatic semantics的音标_axiomatic semantics的发音_axiomatic semantics翻译器_axiomatic semantics的短语_axiomatic semantics速记技巧_axiomatic semantics的近义词_axiomatic semantics的反义词_axiomatic semantics的双语例句

1、

关于公理语义，目前没有见到讨论continue，break，return等的语句的公理化方面的文章，主要原因是这些语句涉及到控制转移问题，用逻辑公式不易描述。

互联网摘选

2、

从公理语义看UNITY模型和GAMMA模型的关系

互联网摘选

3、

为了说明本文提出的公理语义方案具有一般性，也给出了具有异常处理机制条件下，if语句，while语句，和块等语句的公理语义。

互联网摘选

4、

本文以Java语言为背景，重点讨论了类的继承和多态性的公理语义，同时也给出了必要的及相关的语言成分的公理语义。

互联网摘选

quilt[kwɪlt] n.被子，棉被;被状物;v.缝（被）;用垫料填塞后缝拢;东拼西凑地做;用摘抄等方法编辑;
tease[tiːz] vt.取笑，戏弄;挑逗;强要;vi.梳理（羊毛等）;起绒;
miss[mɪs] n.(称呼不知姓名的年轻女子)小姐;(用于未婚女子姓氏或姓名前，以示礼貌)小姐，女士;少女;未击中v.错过;不在;思念;迟到;未达到;避开（不愉快的事）;不懂;未击中;不做;不理解;未得到;未觉察;未见到;未听到;发觉丢失
ease[iːz] n.容易;舒适;无忧无虑;v.减轻;缓和;（使）小心缓缓地移动;降低;（使）贬值;
comrade[ˈkɒmreɪd] n.（尤指共患难的）朋友;战友，同志;
riven[ˈrɪvn] adj.四分五裂的，撕裂的，分裂的，硬给分开的;v.裂开;分裂;撕开;拧去（from; away; off）;使烦恼
less[les] adv. 较少地，较小地;prep. 减去;少掉;不足;
adequate[ˈædɪkwət] adj.足够的;适当的，恰当的;差强人意的;胜任的;
primary[ˈpraɪməri] adj.首要的;初级的;初等教育的;n.初选;
absolute[ˈæbsəlu:t] adj.绝对的，完全的;不受任何限制[约束]的;无条件的;有无上权力或权威的;n.绝对;绝对事物;
seek[siːk] v.寻找;谋求;请求（帮助），征求（意见）;想方设法;
argue[ˈɑ:gju:] vt.坚决主张;提出理由证明;说服，劝告;表明，证明;vi.争论;辩论;提出理由;争吵;争辩;论证;说理;证明;表明